Feeds to Scour
SubscribedAll
Scoured 9566 posts in 1.23 s
Natural language processing for word sense disambiguation and information extraction
arxiv.org·16h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·9h
📝Parsing Grammars
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.com·1d
📏Linear Logic
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·3h·
Discuss: Hacker News
λLambda Formalization
Preview
Report Post
Learning Zig
blog.senko.net·4h
🌳Incremental Parsing
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
✅Formal Methods
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🧠Machine Learning
Preview
Report Post
Building a Synthesizer, Chapter 13: Building the VCF
craigstuntz.com·1d
⚙️DIY Electronics
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·4h·
Discuss: DEV
📝Text Parsing
Preview
Report Post
Shell Command Language
pubs.opengroup.org·5h
📝Shell Parsing
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
💧Liquid Types
Preview
Report Post
vagos/llm-grep: Match lines using both classic and semantic regular expressions with LLM.
github.com·1d·
Discuss: Lobsters
🔍RegEx Engines
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.com·1d·
Discuss: Hacker News
λLambda Encodings
Preview
Report Post
Where Did This Sentence Come From? Tracing Provenance in LLM Reasoning Distillation
arxiv.org·2d
🧮Theorem Proving
Preview
Report Post
Unger Parsing
buttondown.com·5d·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
Document Parsing with LLMs: From OCR to Structural Understanding.
alamedadev.com·3d
📋Document Grammar
Preview
Report Post
wwes4/AI_Accel_1.5x: AI acceleration framework for ~1.5x speedups in mid-sized models via tension-based pruning. Built utilizing xAI's Grok.
github.com·1d·
Discuss: Hacker News
📊Quantization
Preview
Report Post
AI Has Made it Easy to Own Your Tools
jimmyhmiller.github.io·1d
🤖Archive Automation
Preview
Report Post